Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Remove unused things, applied suggestions from Ruff #789

Closed
wants to merge 1 commit into from

Conversation

AlexKurek
Copy link
Contributor

No description provided.

@hannorein
Copy link
Owner

Thanks. Some of the REBOUND code base could definitely be cleaned up. But I don't think these changes are very helpful, nor am I sure really not changing the behaviour in every possible case. So I think I'll close this for now.

@hannorein hannorein closed this Jul 24, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants